Publications de
Janette Cardoso, Xiaoyu Mao, Robert Valette
State Class Graph for Fuzzy Time Petri Nets
Dans : European Simulation and Modelling Conference (ESM 2006), Toulouse, 23/10/06-25/10/06, LAAS, (support électronique), octobre 2006.
Janette Cardoso, Xiaoyu Mao, Robert Valette
A Graph of Classes Preserving Quantitative Temporal Constrains considering unbounded transitions
Dans : PMCCS’05, 7th International Workshop onPerformability Modeling of Computer and Communication Systems, Torino-Italy, 23/09/05-24/09/05, ., septembre 2005.
Xiaoyu Mao, Janette Cardoso, Robert Valette
A new graph of classesfor the preservation of quantitative temporal constraints
Dans : ATVA’05,Third International Symposium on Automated Technology for Verification and Analysis, Taipei-Taiwan, 04/10/05-07/10/05, D.A. Peled, Y.-K. Tsay (Eds.), Springer Verlag, LNCS 3707, Berlin Heidelberg, p. 278-292, octobre 2005.
Janette Cardoso, Robert Valette, Xiaoyu Mao
Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives
Dans : RS-JESA, MSR – Modelisation de Systèmes Réactifs, grenoble, 05/10/05-07/10/05, Hermès, V.39, p. 191-206, octobre 2005.